$\forall$${\it es}$:ES, ${\it ff}$:FIFO, ${\it f2f+}$:F2F+{-}decls. req\_dcdr $\in$ $e$:E$\rightarrow$Dec(is\_req  ($e$))